n-place functor

См. также в других словарях:

• Derived category — In mathematics, the derived category D(C) of an abelian category C is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on C. The construction proceeds on the… …   Wikipedia

• Yoneda lemma — In mathematics, specifically in category theory, the Yoneda lemma is an abstract result on functors of the type morphisms into a fixed object . It is a vast generalisation of Cayley s theorem from group theory (a group being a particular kind of… …   Wikipedia

• Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… …   Wikipedia

• Singular homology — In algebraic topology, a branch of mathematics, singular homology refers to the study of a certain set of topological invariants of a topological space X , the so called homology groups H n(X). Singular homology is a particular example of a… …   Wikipedia

• Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

• Simplicial set — In mathematics, a simplicial set is a construction in categorical homotopy theory which is a purely algebraic model of the notion of a well behaved topological space. Historically, this model arose from earlier work in combinatorial topology and… …   Wikipedia

• Combinatorial species — In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and… …   Wikipedia

• Stone duality — In mathematics, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they… …   Wikipedia

• Triangulated category — A triangulated category is a mathematical category satisfying some axioms that are based on the properties of the homotopy category of spectra, and the derived category of an abelian category. A t category is a triangulated category with a t… …   Wikipedia

• Structure Mapping Engine — In artificial intelligence and cognitive science, the structure mapping engine is an implementation in software of an algorithm for analogical matching based on the psychological theory of Dedre Gentner [1983] . The basis of Gentner s structure… …   Wikipedia

• Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia